“aadl”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果99个，建议您升级VIP下载更多相关专利

[发明专利]一种嵌入式系统安全性建模方法-CN202011214808.1有效
发明人：郭鹏;刘飞阳;刘帅;李亚晖;谢建春 -专利权人：中国航空工业集团公司西安航空计算技术研究所
申请日： 2020-11-03 - 公布日： 2023-04-14 - 主分类号： G06F8/30 文献下载
摘要：本申请提供一种嵌入式系统安全性建模方法，所述方法包括：从架构分析与设计语言AADL模型中选择，选择对于嵌入式系统可能产生危害的AADL组件类型；根据所述组件类型，建立AADL组件危害源；根据所述AADL组件危害源，建立AADL组件危害传播模型；根据所述AADL组件危害传播模型，建立AADL组件危害类型模型；根据AADL组件危害类型模型，建立系统的危害行为模型；根据AADL组件危害类型模型，建立危害的组合行为模型
一种嵌入式系统安全性建模方法

[发明专利]一种AADL图形化功能行为建模方法-CN201810122737.9有效
发明人：杨志斌;许金淼;刘承威;王飞;谢健;周勇;黄志球;王永孟 -专利权人：南京航空航天大学
申请日： 2018-02-07 - 公布日： 2021-05-11 - 主分类号： G06F8/30 文献下载
摘要：本发明公开了一种AADL图形化功能行为建模方法，其特征是，包括如下步骤：1)对AADL行为附件各组件进行图元定义；2)使用Eclipse插件开发技术、插件扩展点扩展技术实现图元注册；3)对AADL行为附件图形化修改后检查；4)对AADL行为附件层次化扩展。本发明所达到的有益效果：本方法通过AADL元模型扩展实现了AADL功能行为的层次化表达；通过GEF技术实现了AADL行为附件的完全图形化，并集成到AADL开源工具OSATE中；AADL功能行为的层次化表达增强了AADL的表达能力；行为附件的图形化丰富了AADL行为附件的建模方式，满足了工程人员在实际建模过程中习惯使用图形化建模的实际需求。
一种 aadl 图形功能行为建模方法

[发明专利]基于AADL的创建、分析和仿真混成系统模型的方法-CN201410037932.3有效
发明人：何积丰;刘静;钱宇清 -专利权人：华东师范大学
申请日： 2014-01-26 - 公布日： 2017-07-04 - 主分类号： G06F9/455 文献下载
摘要：本发明公开了一种基于AADL的创建、分析和仿真混成系统模型的方法，包括如下步骤创建子语言混成AADL，利用子语言混成AADL建立混成AADL模型；对混成AADL模型进行词法和语法分析；将混成AADL模型转换至本发明创建了AADL的一个扩展子语言，从而在OSATE平台上实现了利用AADL建立、分析及图形化仿真混成系统模型。
基于 aadl 创建分析仿真混成系统模型方法

[发明专利]一种面向IMA的AADL多范式建模及自动生成C代码的方法-CN202010909187.2有效
发明人：杨志斌;邱宝;王飞;谢健;周勇 -专利权人：南京航空航天大学
申请日： 2020-09-02 - 公布日： 2021-11-16 - 主分类号： G06F8/35 文献下载
摘要：本发明公开了一种面向IMA的AADL多范式建模及自动生成C代码的方法，通过AADL表达IMA软硬件架构，AADL行为附件、同步语言SIGNAL和SDL描述软件构件的功能行为，以支持状态机、同步数据流、异步执行等多种计算模型；通过IMA属性集求精的方式向模型中添加IMA属性得到平台相关的AADL模型；通过OSATE提供的AADL文件解析模块对文件保存的AADL文件解析并包装成类；借助Xtend提供的模板功能实现多范式建模工具和AADL到C代码转换规则的映射，以此实现一个基于AADL开源工具环境OSATE的Eclipse平台插件。
一种面向 ima aadl 范式建模自动生成代码方法

[发明专利]一种验证AADL模型运行状态与需求一致性的方法-CN201110109292.9有效
发明人：王崑声;张辉;经小川;张刚;谢伟华 -专利权人：中国航天科技集团公司第七一〇研究所
申请日： 2011-04-29 - 公布日： 2011-09-14 - 主分类号： G06F11/36 文献下载
摘要：一种验证AADL模型运行状态与需求一致性的方法，步骤包括：(1)根据需求中的状态和状态迁移构建AADL模型，AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移；(2)将AADL模型中模式和模式迁移转化为Petri网模型；(3)计算Petri网模型的关联矩阵C；(4)利用Petri网模型的状态方程判断构建的AADL模型运行状态与需求是否一致。本发明提出将AADL模型中的“模式”及“模式迁移”映射为Petri网模型中的库所及变迁，并将此Petri网模型作为被测模型，结合Petri网模型性质和AADL模型的特点计算AADL模型可达的状态集合，从而达到判断建立的AADL模型运行状态是否与需求一致的目的，提高了所建AADL模型的正确性，缩短了系统建立时间，节省了系统建立成本。
一种验证 aadl 模型运行状态需求一致性方法

[发明专利]一种应用FMI协议支持AADL集成仿真的方法-CN202010305671.4有效
发明人：沈届时;刘畅;陈聪;王科翔 -专利权人：中国航空无线电电子研究所
申请日： 2020-04-17 - 公布日： 2022-11-15 - 主分类号： G06F11/36 文献下载
摘要：本申请提供一种应用FMI协议支持AADL集成仿真的方法，方法包括：使用AADL建立AADL工程，AADL工程包括待分析的对象系统Sys1，和与对象系统Sys1有直接交互关系的相关系统模块SysN_origin建立组件与接口约束；使用第二建模语言对相关系统SysN_origin进行专业化设计，得到相关系统模型；将相关系统模型导出为FMU模型，在封装过程中保持模型的接口特性、数学特性和逻辑特性；将FMU模型导入AADL工程中，将AADL工程中的相关系统模块通过对应的FMU模型进行替换，并与对象系统Sys1进行连接，判别接口一致性；运行AADL工程；AADL工程中的AADL模型在接口事件、数据驱动下进行构件状态迁移，应用公理化方法对对象系统
一种应用 fmi 协议支持 aadl 集成仿真方法

[发明专利]一种基于AADL时序特性的模型转换方法-CN201910150715.8在审
发明人：勉治宝;陈俊杰;施小东;王越 -专利权人：北方民族大学
申请日： 2019-02-28 - 公布日： 2019-06-25 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于AADL时序特性的模型转换方法，包括以下步骤：通过对AADL语义进行深入分析，提出包含时序特性的AADL错误模型与动态可靠性分析工具‑‑HiP‑HOPS Pandora技术模型元素之间的映射规则，设计并实现一个全新的模型转换框架AADL2HiP‑HOPS‑V3，并以插件形式集成到AADL开源开发工具OSATE1中，最终形成一个集AADL模型建模、基于时序特性的可靠性分析为一体的开发平台，为AADL利用本发明的分析方法，能弥补AADL基于时序特性可靠性分析的缺陷和不足。
时序特性可靠性分析模型转换模型转换框架动态可靠性插件形式错误模型分析工具技术模型开发工具开发平台映射规则语义建模分析应用

[发明专利]一种智能控制系统代码自动生成方法及装置-CN202210664227.0有效
发明人：张龙;唐盖盖;杨峰;冯涛;石鎏澂 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2022-06-14 - 公布日： 2022-08-12 - 主分类号： G06F8/20 文献下载
摘要：本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
一种智能控制系统代码自动生成方法装置

[发明专利]基于AADL-Modelica对信息物理融合系统进行建模的方法-CN201911131698.X在审
发明人：卜星晨;曹子宁;胡名光 -专利权人：南京航空航天大学
申请日： 2019-11-19 - 公布日： 2020-03-06 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种使用AADL‑Modelica对信息物理融合系统进行建模的方法。使用AADL、Modelica分别对信息物理融合系统的信息系统和物理系统进行建模。针对AADL无法描述状态间概率迁移和组件间详细通信的问题，提出了概率行为附件。作为AADL的补充，Modelica语言利用微分代数方程对物理系统的连续动态性进行建模。根据AADL与Modelica的映射规则，对AADL的属性集进行相应的扩展，将Modelica建立的模型转换为AADL模型，使得信息物理融合系统中的信息系统和物理系统融合，并使用Osate对信息物理融合系统中的延迟时间进行分析在Modelica与AADL建模的基础上，采用Z规范对系统交互过程中产生的大量数据进行形式化的约束。
基于 aadl modelica 信息物理融合系统进行建模方法

[发明专利]一种将AADL无损转换成XML的方法-CN201310529970.6有效
发明人：周兴社;孙中豪;杨刚;高荣;杨亚磊 -专利权人：西北工业大学
申请日： 2013-11-01 - 公布日： 2014-05-14 - 主分类号： G06F17/30 文献下载
摘要：本发明涉及一种将AADL无损转换成XML的方法，属于语言转换技术领域。本发明涉用于将AADL语言描述的模型转换为XML格式，使用Xtext描述AADL语言的文法，用EMF描述AADL的元模型，在Xtext中建立AADL文法和AADL元模型的映射关系，从而将AADL模型转化成对象模型
一种 aadl 无损转换 xml 方法

[发明专利]一种基于AADL的数据链组网动态模型驱动方法-CN201811472315.0有效
发明人：刘畅;王科翔;郑学理 -专利权人：中国航空无线电电子研究所
申请日： 2018-12-04 - 公布日： 2022-11-04 - 主分类号： G06F30/20 文献下载
摘要：本发明属于航空电子系统设计技术，涉及一种基于AADL的数据链组网动态模型驱动方法。本发明包括以下步骤：步骤一，扩展AADL语言，使其能够通过组件的方式，描述航空数据链，并建立多平台航电系统的AADL模型；步骤二，通过XML文件的传递，实现AADL模型与外部网络仿真的交互；步骤三，利用反馈到AADL模型的外部网络仿真结果，驱动AADL模型动态仿真。本发明在传统AADL语言对于电子系统物理架构建模的基础上，通过扩展数据链通信组件，将系统的物理架构描述扩展到由无线链路组织起来的多平台系统。
一种基于 aadl 数据链组网动态模型驱动方法

[发明专利]基于AADL的面向CPS的建模方法-CN201710514114.1在审
发明人：曹雪岳;李揭阳;张福高 -专利权人：南京航空航天大学
申请日： 2017-06-29 - 公布日： 2017-12-29 - 主分类号： G06F17/50 文献下载
摘要：本发明公开基于AADL的面向CPS的建模方法，首先，对AADL的基本建模元素、建模流程进行梳理，对CPS系统特点、建模需求进行分析，得到AADL对CPS中数据和并发、不确定关系缺乏形式化描述的不足；接着，基于形式化规格说明语言Z对AADL行为附件进行补充，为AADL添加对变量约束的Z模式，对数据进行形式化的描述来对其进行约束，实现对CPS中大量数据变量的约束；最后，基于进程演算对AADL进行扩充，为AADL
基于 aadl 面向 cps 建模方法

[发明专利]一种基于模型的舰船电子信息系统可靠性建模与分析方法-CN202211006364.1在审
发明人：杨京礼;黄宇翔;方晓彤;赵静萌 -专利权人：哈尔滨工业大学
申请日： 2022-08-22 - 公布日： 2022-11-04 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种基于模型的舰船电子信息系统可靠性建模与分析方法，涉及舰船电子信息系统技术领域，方法包括，S1、构建舰船电子信息系统AADL结构模型、舰船电子信息系统AADL行为模型和舰船电子信息系统AADL错误模型；S2、以舰船电子信息系统AADL结构模型、舰船电子信息系统AADL行为模型和舰船电子信息系统AADL错误模型作为元模型，构建舰船电子信息系统AADL可靠性模型；S3、将舰船电子信息系统AADL
一种基于模型舰船电子信息系统可靠性建模分析方法

[发明专利]面向CPS时空性质的混成AADL建模与模型转换方法-CN202010549658.3在审
发明人：祝义;陈小颖 -专利权人：江苏师范大学
申请日： 2020-06-16 - 公布日： 2020-09-25 - 主分类号： G06F30/20 文献下载
摘要：面向CPS时空性质的混成AADL建模与模型转换方法，以解决CPS缺乏时间与空间统一建模与验证方法的问题。首先，扩展AADL行为附件的时空描述能力，提出混成AADL，用于建模CPS的时空性质；其次，在进程代数中引入微分方程以及位置描述提出HP‑TCSP，能够验证CPS的时空性质；再次，通过模型转换将混成AADL转换为HP‑TCSP，从而可以将混成AADL描述的CPS模型在HP‑TCSP中进行时空一致性验证。
面向 cps 时空性质混成 aadl 建模模型转换方法

[发明专利]AADL模型精化方法及其支持的Ada可执行代码自动生成方法-CN201910158762.7有效
发明人：杨志斌;冯思喆;黄志球;李文心;谢健;周勇;王永孟 -专利权人：南京航空航天大学
申请日： 2019-03-04 - 公布日： 2021-10-19 - 主分类号： G06F8/30 文献下载
摘要：本发明公开了一种AADL模型精化方法及其支持的Ada可执行代码自动生成方法，本发明使用基于OSATE提供的AADL文件解析能力来对已有的AADL模型进行解析，并且通过模型精化的方法来对AADL模型进行功能行为简化以及其执行平台的相关信息补充，使其足够完备，同时借助Xtext技术提供的自动生成代码的能力，以及Xtend技术提供的模板规则映射功能来实现AADL的系统构件、进程和线程构件、行为附件和模式等模型到Ada代码的转换，使其代码能够在特定的平台上运行，以此来完成基于AADL开源工具环境OSATE的Eclipse平台插件。
aadl 模型方法及其支持 ada 可执行代码自动生成

1
2
3
4
5
6
7
下一页»
尾页
共 99 条